home *** CD-ROM | disk | FTP | other *** search
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # Associate labels original text with physical files.
-
-
- $key = q/HUGE3/;
- $external_labels{$key} = "$URL/" . q|node92_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/Huge2/;
- $external_labels{$key} = "$URL/" . q|node91_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/LARGE3/;
- $external_labels{$key} = "$URL/" . q|node105_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/LaTeX/;
- $external_labels{$key} = "$URL/" . q|node106_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/Large2/;
- $external_labels{$key} = "$URL/" . q|node104_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/TeX/;
- $external_labels{$key} = "$URL/" . q|node166_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/abstract/;
- $external_labels{$key} = "$URL/" . q|node38_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/addcontentsline/;
- $external_labels{$key} = "$URL/" . q|node39_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/author/;
- $external_labels{$key} = "$URL/" . q|node40_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/backslash/;
- $external_labels{$key} = "$URL/" . q|node41_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/bcol/;
- $external_labels{$key} = "$URL/" . q|node42_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/bf/;
- $external_labels{$key} = "$URL/" . q|node43_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/bibitem/;
- $external_labels{$key} = "$URL/" . q|node44_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/bibliography/;
- $external_labels{$key} = "$URL/" . q|node46_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/bibliographystyle/;
- $external_labels{$key} = "$URL/" . q|node45_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/bibsection/;
- $external_labels{$key} = "$URL/" . q|node19_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/caption/;
- $external_labels{$key} = "$URL/" . q|node47_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cdots/;
- $external_labels{$key} = "$URL/" . q|node48_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/center/;
- $external_labels{$key} = "$URL/" . q|node50_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/centerline/;
- $external_labels{$key} = "$URL/" . q|node49_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cextract/;
- $external_labels{$key} = "$URL/" . q|node51_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/chapter/;
- $external_labels{$key} = "$URL/" . q|node53_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/chapterheading/;
- $external_labels{$key} = "$URL/" . q|node54_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/chaptersX/;
- $external_labels{$key} = "$URL/" . q|node52_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cinsert/;
- $external_labels{$key} = "$URL/" . q|node55_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cite/;
- $external_labels{$key} = "$URL/" . q|node56_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/class/;
- $external_labels{$key} = "$URL/" . q|node57_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/clipsfunc/;
- $external_labels{$key} = "$URL/" . q|node58_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/comment/;
- $external_labels{$key} = "$URL/" . q|node59_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/comments/;
- $external_labels{$key} = "$URL/" . q|node189_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/copyright/;
- $external_labels{$key} = "$URL/" . q|node60_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/cparam/;
- $external_labels{$key} = "$URL/" . q|node61_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/date/;
- $external_labels{$key} = "$URL/" . q|node62_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/definecolour/;
- $external_labels{$key} = "$URL/" . q|node63_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/description/;
- $external_labels{$key} = "$URL/" . q|node64_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/document/;
- $external_labels{$key} = "$URL/" . q|node66_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/documentstyle/;
- $external_labels{$key} = "$URL/" . q|node65_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/em/;
- $external_labels{$key} = "$URL/" . q|node67_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/enumerate/;
- $external_labels{$key} = "$URL/" . q|node68_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/errors/;
- $external_labels{$key} = "$URL/" . q|node190_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/fcol/;
- $external_labels{$key} = "$URL/" . q|node69_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/figure/;
- $external_labels{$key} = "$URL/" . q|node70_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/flushleft/;
- $external_labels{$key} = "$URL/" . q|node71_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/flushright/;
- $external_labels{$key} = "$URL/" . q|node72_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/footnote/;
- $external_labels{$key} = "$URL/" . q|node73_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/footnotepopup/;
- $external_labels{$key} = "$URL/" . q|node74_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/func/;
- $external_labels{$key} = "$URL/" . q|node76_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/functionsection/;
- $external_labels{$key} = "$URL/" . q|node75_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/gloss/;
- $external_labels{$key} = "$URL/" . q|node77_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/glossarysection/;
- $external_labels{$key} = "$URL/" . q|node20_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/helpfontfamily/;
- $external_labels{$key} = "$URL/" . q|node82_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/helpfontsize/;
- $external_labels{$key} = "$URL/" . q|node83_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/helpglossary/;
- $external_labels{$key} = "$URL/" . q|node78_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/helpignore/;
- $external_labels{$key} = "$URL/" . q|node79_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/helpinput/;
- $external_labels{$key} = "$URL/" . q|node81_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/helponly/;
- $external_labels{$key} = "$URL/" . q|node80_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/helpref/;
- $external_labels{$key} = "$URL/" . q|node84_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/helprefn/;
- $external_labels{$key} = "$URL/" . q|node85_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hline/;
- $external_labels{$key} = "$URL/" . q|node86_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/hrule/;
- $external_labels{$key} = "$URL/" . q|node87_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/html/;
- $external_labels{$key} = "$URL/" . q|node199_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/htmlignore/;
- $external_labels{$key} = "$URL/" . q|node88_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/htmlonly/;
- $external_labels{$key} = "$URL/" . q|node89_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/huge1/;
- $external_labels{$key} = "$URL/" . q|node90_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/image/;
- $external_labels{$key} = "$URL/" . q|node99_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/include/;
- $external_labels{$key} = "$URL/" . q|node93_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/indented/;
- $external_labels{$key} = "$URL/" . q|node94_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/index/;
- $external_labels{$key} = "$URL/" . q|node100_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/inifile/;
- $external_labels{$key} = "$URL/" . q|node24_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/input/;
- $external_labels{$key} = "$URL/" . q|node95_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/it/;
- $external_labels{$key} = "$URL/" . q|node101_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/item/;
- $external_labels{$key} = "$URL/" . q|node97_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/itemize/;
- $external_labels{$key} = "$URL/" . q|node96_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/itemsep/;
- $external_labels{$key} = "$URL/" . q|node98_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/label/;
- $external_labels{$key} = "$URL/" . q|node102_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/large1/;
- $external_labels{$key} = "$URL/" . q|node103_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/latexgloss/;
- $external_labels{$key} = "$URL/" . q|node199_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/latexignore/;
- $external_labels{$key} = "$URL/" . q|node107_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/latexonly/;
- $external_labels{$key} = "$URL/" . q|node108_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/ldots/;
- $external_labels{$key} = "$URL/" . q|node109_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/macronotfound/;
- $external_labels{$key} = "$URL/" . q|node193_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/maketitle/;
- $external_labels{$key} = "$URL/" . q|node110_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/marginpar/;
- $external_labels{$key} = "$URL/" . q|node112_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/marginpareven/;
- $external_labels{$key} = "$URL/" . q|node113_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/marginparodd/;
- $external_labels{$key} = "$URL/" . q|node114_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/marginparwidth/;
- $external_labels{$key} = "$URL/" . q|node111_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/member/;
- $external_labels{$key} = "$URL/" . q|node116_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/membersection/;
- $external_labels{$key} = "$URL/" . q|node115_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/multicolumn/;
- $external_labels{$key} = "$URL/" . q|node117_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/newcommand/;
- $external_labels{$key} = "$URL/" . q|node118_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/newpage/;
- $external_labels{$key} = "$URL/" . q|node119_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/nocite/;
- $external_labels{$key} = "$URL/" . q|node120_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/noindent/;
- $external_labels{$key} = "$URL/" . q|node121_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/normalbox/;
- $external_labels{$key} = "$URL/" . q|node122_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/normalboxd/;
- $external_labels{$key} = "$URL/" . q|node123_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/normalsize/;
- $external_labels{$key} = "$URL/" . q|node124_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/onecolumn/;
- $external_labels{$key} = "$URL/" . q|node125_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/pagenumbering/;
- $external_labels{$key} = "$URL/" . q|node128_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/pageref/;
- $external_labels{$key} = "$URL/" . q|node126_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/pagestyle/;
- $external_labels{$key} = "$URL/" . q|node127_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/par/;
- $external_labels{$key} = "$URL/" . q|node134_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/paragraph/;
- $external_labels{$key} = "$URL/" . q|node130_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/paragraphX/;
- $external_labels{$key} = "$URL/" . q|node129_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/param/;
- $external_labels{$key} = "$URL/" . q|node131_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/parindent/;
- $external_labels{$key} = "$URL/" . q|node132_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/parskip/;
- $external_labels{$key} = "$URL/" . q|node133_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/popref/;
- $external_labels{$key} = "$URL/" . q|node136_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/printindex/;
- $external_labels{$key} = "$URL/" . q|node135_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/psboxto/;
- $external_labels{$key} = "$URL/" . q|node137_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/quotation/;
- $external_labels{$key} = "$URL/" . q|node139_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/quote/;
- $external_labels{$key} = "$URL/" . q|node138_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/ref/;
- $external_labels{$key} = "$URL/" . q|node140_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/rm/;
- $external_labels{$key} = "$URL/" . q|node141_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/row/;
- $external_labels{$key} = "$URL/" . q|node142_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/rtf/;
- $external_labels{$key} = "$URL/" . q|node199_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/rtfignore/;
- $external_labels{$key} = "$URL/" . q|node144_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/rtfonly/;
- $external_labels{$key} = "$URL/" . q|node145_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/rtfsp/;
- $external_labels{$key} = "$URL/" . q|node146_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/ruledrow/;
- $external_labels{$key} = "$URL/" . q|node143_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/sc/;
- $external_labels{$key} = "$URL/" . q|node147_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/section/;
- $external_labels{$key} = "$URL/" . q|node149_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/sectionX/;
- $external_labels{$key} = "$URL/" . q|node148_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/sectionheading/;
- $external_labels{$key} = "$URL/" . q|node150_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/setfooter/;
- $external_labels{$key} = "$URL/" . q|node151_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/setheader/;
- $external_labels{$key} = "$URL/" . q|node152_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/shortcite/;
- $external_labels{$key} = "$URL/" . q|node153_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/small/;
- $external_labels{$key} = "$URL/" . q|node154_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/space/;
- $external_labels{$key} = "$URL/" . q|node10_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/special/;
- $external_labels{$key} = "$URL/" . q|node155_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/ss/;
- $external_labels{$key} = "$URL/" . q|node156_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/subparagraph/;
- $external_labels{$key} = "$URL/" . q|node158_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/subparagraphX/;
- $external_labels{$key} = "$URL/" . q|node157_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/subsection/;
- $external_labels{$key} = "$URL/" . q|node160_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/subsectionX/;
- $external_labels{$key} = "$URL/" . q|node159_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/subsubsection/;
- $external_labels{$key} = "$URL/" . q|node162_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/subsubsectionX/;
- $external_labels{$key} = "$URL/" . q|node161_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tabbing/;
- $external_labels{$key} = "$URL/" . q|node163_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tableofcontents/;
- $external_labels{$key} = "$URL/" . q|node164_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tables/;
- $external_labels{$key} = "$URL/" . q|node15_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tabular/;
- $external_labels{$key} = "$URL/" . q|node165_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/textwidth/;
- $external_labels{$key} = "$URL/" . q|node167_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/thebibliography/;
- $external_labels{$key} = "$URL/" . q|node168_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tiny/;
- $external_labels{$key} = "$URL/" . q|node170_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/title/;
- $external_labels{$key} = "$URL/" . q|node169_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/today/;
- $external_labels{$key} = "$URL/" . q|node171_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/toocomplex/;
- $external_labels{$key} = "$URL/" . q|node172_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/tt/;
- $external_labels{$key} = "$URL/" . q|node173_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/twocolitem/;
- $external_labels{$key} = "$URL/" . q|node175_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/twocolitemruled/;
- $external_labels{$key} = "$URL/" . q|node176_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/twocollist/;
- $external_labels{$key} = "$URL/" . q|node177_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/twocolumn/;
- $external_labels{$key} = "$URL/" . q|node180_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/twocolwidtha/;
- $external_labels{$key} = "$URL/" . q|node178_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/twocolwidthb/;
- $external_labels{$key} = "$URL/" . q|node179_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/typeout/;
- $external_labels{$key} = "$URL/" . q|node174_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/underline/;
- $external_labels{$key} = "$URL/" . q|node181_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/verb/;
- $external_labels{$key} = "$URL/" . q|node184_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/verbatim/;
- $external_labels{$key} = "$URL/" . q|node183_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/verbatiminput/;
- $external_labels{$key} = "$URL/" . q|node182_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/winhelpignore/;
- $external_labels{$key} = "$URL/" . q|node185_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/winhelponly/;
- $external_labels{$key} = "$URL/" . q|node186_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/wxhelp/;
- $external_labels{$key} = "$URL/" . q|node199_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/wxwindows/;
- $external_labels{$key} = "$URL/" . q|node199_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/xlpignore/;
- $external_labels{$key} = "$URL/" . q|node187_ct.html|;
- $noresave{$key} = "$nosave";
-
- $key = q/xlponly/;
- $external_labels{$key} = "$URL/" . q|node188_ct.html|;
- $noresave{$key} = "$nosave";
-
- 1;
-
-
- # LaTeX2HTML 2022 (Released January 1, 2022)
- # labels from external_latex_labels array.
-
-
- 1;
-
-